Using certification trails to achieve software fault tolerance
نویسندگان
چکیده
Gregory F. Sullivan 1
منابع مشابه
Certitication Trails for Data Structures
Certiication trails are a recently introduced and promising approach to fault-detection and fault-tolerance 19]. In this paper, we signiicantly generalize the applicability of the certiication trail technique. Previously, certiication trails had to be customized to each algorithm application, but here we develop trails appropriate to wide classes of algorithms. These certiication trails are bas...
متن کاملCertification Trails and Software Design for Testability
This paper investigates design techniques which may be applied to make program testing easier. We present methods for modifying a program to generate additional data which we refer to as a certification trail. This additional data is designed to allow the program output to be checked more quickly and effectively. Certification trails [14, 16] have heretofore been described primarily from a theo...
متن کاملDesign, Testing, and Evaluation Techniques for Software Reliability Engineering
Software reliability is closely influenced by the creation, manifestation and impact of software faults. Consequently, software reliability can be improved by treating software faults properly, using techniques of fault tolerance, fault removal, and fault prediction. Fault tolerance techniques achieve the design for reliability, fault removal techniques achieve the testing for reliability, and ...
متن کاملExperimental evaluation of certification trails using abstract data type validation
Certification trails are a recently introduced and promising approach to fault-detection and faulttolerance [11, 12]. Recent experimental work [13] reveals many cases in which a ¢ertifcation-trall spproach shows for significantly faster program execution time than a basic time-redundancy approach. A.]gorithms for answer-validation of abstract data types ate presented in [12] and allow s certifc...
متن کاملA Method for Evaluation of Selected Quality Properties in Rejuvenation Systems using Markov Model
Software fault-tolerance techniques have been widely used in computing systems to achieve high level of quality. Rejuvenation, a modern software fault-tolerance technique, has attracted a large number of researchers in software engineering area. Evaluating the effectiveness and feasibility of this technique becomes extremely important in selecting, comparing and applying it in actual software s...
متن کامل